$\forall$$l$:IdLnk. destination(lnk{-}inv($l$)) $\sim$ source($l$)